George Xu

Results: 28



#Item
11Using a Model Checker to Test Safety Properties Paul Ammann, Wei Ding, and Daling Xu ISE Department, MS 4A4 George Mason University 4400 University Drive Fairfax, VAUSA

Using a Model Checker to Test Safety Properties Paul Ammann, Wei Ding, and Daling Xu ISE Department, MS 4A4 George Mason University 4400 University Drive Fairfax, VAUSA

Add to Reading List

Source URL: www.cs.umb.edu

Language: English - Date: 2008-07-16 17:41:23
    12MINUTES OF THE RADIATION PROTECTION AND SHEILDING DIVISION AMERICAN NULEAR SOCCIETY Town and Country Resort, San Diego, CA June 13, 2010 Attendance Officers

    MINUTES OF THE RADIATION PROTECTION AND SHEILDING DIVISION AMERICAN NULEAR SOCCIETY Town and Country Resort, San Diego, CA June 13, 2010 Attendance Officers

    Add to Reading List

    Source URL: rpsd.ans.org

    Language: English - Date: 2010-11-06 16:35:47
    13Fall 2014 ISSUE A newsletter of the ANS Radiation Protection and Shielding Division

    Fall 2014 ISSUE A newsletter of the ANS Radiation Protection and Shielding Division

    Add to Reading List

    Source URL: rpsd.ans.org

    Language: English - Date: 2014-10-29 09:52:27
    14Microsoft Word - ABQ_Minutes_RPSD1127h.doc

    Microsoft Word - ABQ_Minutes_RPSD1127h.doc

    Add to Reading List

    Source URL: rpsd.ans.org

    Language: English - Date: 2008-06-13 14:48:42
    15Uncertainty of the Stratospheric/Tropospheric Temperature Trends in: Multiple Reanalyses, MSUs and Radiosondes  JIANJUN XU Environmental Science and Technology Center, College of Science, George Mason University

    Uncertainty of the Stratospheric/Tropospheric Temperature Trends in: Multiple Reanalyses, MSUs and Radiosondes JIANJUN XU Environmental Science and Technology Center, College of Science, George Mason University

    Add to Reading List

    Source URL: ee.nmt.edu

    Language: English - Date: 2012-04-02 10:32:06
    16Lights Off. Game On. The Kukui Cup: A Dorm Energy Competition Robert S. Brewer, George E. Lee, Yongwen Xu, Caterina Desiato, Michelle Katchuck, and Philip M. Johnson Collaborative Software Development Laboratory Departme

    Lights Off. Game On. The Kukui Cup: A Dorm Energy Competition Robert S. Brewer, George E. Lee, Yongwen Xu, Caterina Desiato, Michelle Katchuck, and Philip M. Johnson Collaborative Software Development Laboratory Departme

    Add to Reading List

    Source URL: gamification-research.org

    Language: English - Date: 2011-04-11 04:08:41
    17Volume 59  NumberSeptember 2014

    Volume 59 NumberSeptember 2014

    Add to Reading List

    Source URL: www.ipem.ac.uk

    Language: English - Date: 2014-10-03 04:43:27
    18Joint International Conference Mathematics and Computation (M&C), Supercomputing in Nuclear Applications (SNA) and the Monte Carlo (MC) Method  April 19-23, 2015

    Joint International Conference Mathematics and Computation (M&C), Supercomputing in Nuclear Applications (SNA) and the Monte Carlo (MC) Method April 19-23, 2015

    Add to Reading List

    Source URL: mc2015.org

    Language: English - Date: 2015-01-06 17:23:15
    19Nubian Xpressions XU’s Student Theatre Group Presents The Colored Museum A satirical comedy by George C. Wolfe that

    Nubian Xpressions XU’s Student Theatre Group Presents The Colored Museum A satirical comedy by George C. Wolfe that

    Add to Reading List

    Source URL: www.xula.edu

    - Date: 2015-04-15 15:26:48
      20Uncertainties Evaluation of Temperature Trends from Multiple Radiosondes, Microwave Sounding Units and Reanalyses Products JIANJUN XU (Environmental Science and Technology Center , College of Science, George Mason Univer

      Uncertainties Evaluation of Temperature Trends from Multiple Radiosondes, Microwave Sounding Units and Reanalyses Products JIANJUN XU (Environmental Science and Technology Center , College of Science, George Mason Univer

      Add to Reading List

      Source URL: ee.nmt.edu

      Language: English - Date: 2012-07-09 15:41:41